liblaunch/reboot2.h